研究了I（x,y）=I（x,I（x,y））方程,I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I（x,y）=S（T（n（x）,n（y））,y）,给出了满足方程I（x,y）=I（x,I（x,y））......